A Process Calculus of Atomic Commit
نویسندگان
چکیده
منابع مشابه
A Process Calculus of Atomic Commit
This article points out a strong connection between process calculi and atomic commit. Process calculus rendezvous is an abstract semantics for atomic commitment. An implementation of process-calculus rendezvous is an atomic commit protocol. Thus, the traditional correctness properties for atomic commit are entailed by a bisimulation proof of a calculus implementation. Actually, traditional ren...
متن کاملReducing Fair Exchange to Atomic Commit
The fair exchange problem is key to trading electronic items in systems of mutually untrusted parties. We consider modern variants of such systems where each party is equipped with a tamper proof security module. The security modules trust each other but can only communicate by exchanging messages through their host parties. These are untrusted and could intercept and drop those messages. We sh...
متن کاملConstructing Atomic Commit Protocols Using Knowledge
use logic of process knowledge as a tool to (1) tomic commit problem, to (2) analyze at a rather correct atomic commit protocols that are in use and construction of atomic commit protocols. This e formal definitions are introduced and used in the for people not familiar with logic of process rotocols. ment in supporting global atomicity of distributed (2PC) is the de facto standard atomic commi...
متن کاملA Logical Process Calculus
This paper presents the Logical Process Calculus (LPC), a formalism that supports heterogeneous system specifications containing both operational and declarative subspecifications. Syntactically, kPC extends Milner's Calculus of Conmmnicating Systems with operators fl'om the alternation free linear time p calculus (kT#). Semantically, kPC is equipped with a behavioral preorder that generalizes ...
متن کاملA Dendroidal Process Calculus
The Dendroidal Process Calculus (DPC) is designed as a new theory for modeling concurrent and distributed computations and systems, equipped with a non-sequential and compositional semantics. In this theory, a parallel composition is parameterized by a graph at the vertices of which subprocesses are located. Communication is allowed only between subprocesses related by an edge in this graph. Mo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2004
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2004.05.003